export const ADD_FILE_TREE = 'ADD_FILE_TREE';
export const ADD_CHILDREN_TREE = 'ADD_CHILDREN_TREE';
export const ADD_JSON_FILE = 'ADD_JSON_FILE';
export const EDIT_TAG = 'EDIT_TAG';
export const DO_FILTER = 'DO_FILTER';
export const PICKET_POINT = 'PICKET_POINT';
export const CHANGE_INPUT = 'CHANGE_INPUT';
export const INSERT_MARK_POINT = 'INSERT_MARK_POINT';
